Process semantics for UML component specifications to assess inheritance
نویسندگان
چکیده
منابع مشابه
Process Semantics for UML Component Specifications to Assess Inheritance
We define a component specification as a process. The starting point is the specification of a component in a UML profile. The process of the component is a derivable feature from the component specification. We define the inheritance of component specifications as inheritance of processes. Process semantics of the UML profile allows to check inheritance of specifications using a process algebr...
متن کاملMapping UML Component Specifications to JEE Implementations
Component-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is ...
متن کاملSemantics of Inheritance in Logical Object Specifications
Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions ...
متن کاملValidating UML/OCL component specifications through animation
UML has been widely accepted as a standard for modeling software systems and is supported by a great number of case tools. However, UML tools often provide limited support for validating models early in the development process. Also, there is no substantial support for specifying constraints written in Object Constraint Language (OCL), which is an important element of new Component based Develo...
متن کاملVerifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity dia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80618-2